COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00005 ENDMK
C⊗;
.require "let.pub" source
∂AILProfessor Thomas E. Cheatham, Jr.↓Center for Research in Computing Technology
↓Harvard University↓Aiken Computation Laboratory↓Cambridge, Mass. 02138∞

Dear Tom:

	I can think of two recent theses that should be published.  The
first is by R.S. Cartwright now at Cornell and is entitled
%2A Practical Formal Semantic Definition and Verification System for
Typed LISP%1.

	The second is an M.I.T. Master's thesis by Robert Moore.
When they (Minsky, et. al. at M.I.T.) saw it, they said McCarthy will be
more interested in it than we are, and Moore came out here to finish
his M.I.T. doctorate.  Their problem was that it was a theoretical
thesis on representation of information and didn't involve actual
programming.  I told them that the best solution to their problem
was to give him a doctorate for the Master's thesis but they couldn't
bring themselves to go that far.  Moore has finished his Ph.D. thesis,
but it covers different material.  The Master's thesis has already
been quite influential and should be published.  I enclose a list
of references to it that have already appeared.

	I hope that Garland will be able to recognize an opportunity
that was probably not included in their original intentions.  Moore
is now employed at SRI.  Do not confuse him with J Moore who also
works at SRI with Bob Boyer.

.sgn